COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	f0(x) = (1/6)*x↑3
C00003 ENDMK
C⊗;
f0(x) = (1/6)*x↑3;
f1(x) = 1/512 + (1/64)*(x-1/4) - 1/6(x-1/4)↑3;
f2(x) = (3/512 - 1/(6*512))+(x-1/2)↑3;
(defun isvar (v) (cond ((atom v) (cond ((equal v 'x) t)
				       ((equal v 'y) t)))))